#ifndef VAR_DJTYB0TE

#define VAR_DJTYB0TE

#include <iostream>


namespace SAT
{

    class Var
    {
        public:
            Var ( std::string name="" );
            virtual ~Var ();

            std::string getName() const
            {
                return _sName;
            }

            void setVal(bool val)
            {
                _bValue = val;
            }

            bool getVal() const
            {
                return _bValue;
            }


        private:
            std::string _sName;

            bool _bValue;
            static unsigned int _nb;
    };

    std::ostream& operator << (std::ostream& os, const Var& v);

}

#endif /* end of include guard: VAR_DJTYB0TE */
